proof of euler's formula